package model.logic.operator;
/**
 * <tt>OpLess</tt> is a representation of the equality operator to be used in Propositions. 
 * @author Marius Tempelmeier
 *
 */
public final class OpLess implements Operator {
	
	/**
	 * singleton-instance of this.  
	 */
	private static final OpLess THE_OPLESS = new OpLess();
	/**
	 * string-representation of this. 
	 */
	private static final String OPERATOR_STRING_REP = " < ";
	
	private OpLess() { }
	
	public static OpLess getInstance() {
		return OpLess.THE_OPLESS;
	}
	
	@Override
	public boolean isSymmetric() {
		return false;
	}
	
	@Override
	public String toString() {
		return OPERATOR_STRING_REP;
	}
}
